Completely positive projections and biproducts
نویسندگان
چکیده
The recently introduced CP*–construction unites quantum channels and classical systems, subsuming the earlier CPM–construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem: freely adding biproducts to CPM, and freely splitting idempotents in CPM. The CP*–construction embeds the former, and embeds into the latter, but neither embedding is an equivalence in general.
منابع مشابه
Completely positive classical structures and sequentializable quantum protocols
There are two ways to model classical information in categorical quantum mechanics. Originally, biproducts were used to capture classical information external to the category at hand [2]. Later, so-called classical structures emerged as a way to model classical data internal to the category itself [12, 13, 3]. The setting of most interest to quantum information theory is that of completely posi...
متن کاملInt Construction and Semibiproducts Int Construction and Semibiproducts
We study a relationship between the Int construction of Joyal et al. and a weakening of biproducts called semibiproducts. We then provide an application of geometry of interaction interpretation for the multiplicative additive linear logic (MALL for short) of Girard. We consider not biproducts but semibiproducts because in general the Int construction does not preserve biproducts. We show that ...
متن کاملA link between quantum logic and categorical quantum mechanics
Abramsky and Coecke (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425, IEEE Comput. Soc., New York, 2004) have recently introduced an approach to finite dimensional quantum mechanics based on strongly compact closed categories with biproducts. In this note it is shown that the projections of any object A in such a category form an orthoalgebra ProjA. Suffi...
متن کاملBialgebra Cohomology, Pointed Hopf Algebras, and Deformations
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf a...
متن کاملSemimodule Enrichment
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal category with biproducts is enriched over semimodules. We show that these extensions of enrichment (e.g. from hom-sets to homsemimodules) are functorial, and use them to make precise the intuition that “compact objects a...
متن کامل